2

A formal requirements specification method based on data flow analysis

Year:
1993
Language:
english
File:
PDF, 983 KB
english, 1993
38

The practice of formal methods in safety-critical systems

Year:
1995
Language:
english
File:
PDF, 1.37 MB
english, 1995